 |
0 索取号:TP302-53/E801/10 作者:Asilomar Conference on Circuits、 Systems、 and Computers (10th : 1976 : Pacific Grove、 Calif.)、Titus、 Harold A.、University of Santa Clara.、Naval Postgraduate School (U.S.)、Institute of Electrical and Electronics Engineers. San Francisco Section、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1977.
|  |
0 索取号:TP302-53/E801/8 作者:Asilomar Conference on Circuits、 Systems、 and Computers (8th : 1974 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.).、University of Santa Clara.、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1975.
|
 |
0 索取号:TP302-53/E801/7 作者:Asilomar Conference on Circuits、 Systems and Computers (7th : 1973 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1974]
|  |
0 索取号:TP302-53/E801/6 作者:Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:New York : IEEE, 1972.
|
 |
0 索取号:TP302-53/E801/5 作者:Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1972]
|  |
0 索取号:O24-53/E803/5 作者:ACM Symposium on Theory of Computing (5th : 1973 : Austin、 Tex.)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、 出版社:New York : Association for Computing Machinery, 1973.
|
 |
0 索取号:O24-53/E803/3 作者:ACM Symposium on Theory of Computing (3rd : 1971 : Shaker Heights、 Ohio)、ACM Special Interest Group for Automata and Computability Theory.、ACM Digital Library.、 出版社:New York : ACM, Special Interest Group for Automata and Computability Theory, 1971.
|  |
0 索取号:O24-53/E803/1969 作者:ACM Symposium on Theory of Computing (1969 : Marina del Rey、 Calif.)、Association for Computing Machinery. Special Interest Committee for Automata and Computability.、 出版社:New York, Available from ACM Order Dept. [1969].
|
 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-53/E8014/1981 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|  |
0 索取号:TP3-53/E8014/1980 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|
 |
0 索取号:TP3-55/E801 作者:International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、 出版社:Berlin ; New York : Springer-Verlag, 1974.
|  |
0 索取号:TP3-53/E8025/1975 作者:Sagamore Computer Conference on Parallel Processing (1975 : Raquette Lake、 N.Y.)、Syracuse University. Dept. of Electrical and Computer Engineering.、 出版社:Long Beach, CA : available from IEEE Computer Society, c1975.
|
 |
0 索取号:TP3-53/E8025/1973 作者:Sagamore Computer Conference on Parallel Processing.、Association for Computing Machinery.、Institute of Electrical and Electronics Engineers.、Syracuse University. Dept. of Electrical & Computer Engineering.、 出版社:[Syracuse, NY] : Dept. of Electrical & Computer Engineering, Syracuse University in cooperation with IEEE : ACM, c1973.
|  |
0 索取号:TP3-53/E908/7 作者:International Symposium on Fault-Tolerant Computing (7th : 1977 : Los Angeles)、Institute of Electrical and Electronics Engineers.、IEEE Computer Society、 出版社:New York : Institute of Electrical and Electronics Engineers, Inc., 1977.
|